Euler Circuit Proof